| 1. | Several factors in mathematical logic translation
数理逻辑翻译中的几个因素 |
| 2. | On the second revolution of mathematical logic
论第2次数理逻辑革命 |
| 3. | The feature of the mathematical logic and the aesthetics in the ancient chinese capital planning
中国古代都城规划中的数理哲学与美学特征 |
| 4. | He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 |
| 5. | R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。 |
| 6. | This paper shows that the methods of mathematical logic may have a broad application and also valuable to human ' s daily thinking
这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 |
| 7. | This is an article about mathematical logic , its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
这是一篇关于数理逻辑的文章，其基本思想是出于想把理论的真理性论证归结于一种计算的结果。 |
| 8. | Thanks to the mathematical logic of this two - key procedure , it is not necessary for both sides of a communication to know the full key combination , and every key is unique
您还应该注意一下“随大流” 。仅仅因为一个特殊的安全性功能是标准的并不意味着您应该提供同样低级的保护。 |
| 9. | The tool mr barth is employing to effect this transition is linear temporal logic , a system of mathematical logic that can express detailed constraints on the past and the future
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。 |
| 10. | Fundamenta informaticae , 2004 , 62 : 1 - 23 . 10 kleine b " uing h , lettmann h . propositional logic : deduction and algorithms , cambridge university press , 1999 . 11 hilbert d , ackermann w . principles of mathematical logic
2提出了一个算法把ctl在有界语义下满足性的检测规约到一个qbf quantified boolean formulas问题的满足性的判定上，同时证明了算法的正确性。 |
